Theorem machine prove
[计] 定理机器证明
🧩 词语组成解析
prove
[pru:v]
vt. 证明，证实;[法]验证，检定;显示;
vi. 显示出，证明是;
🗣️ 情景例句
But he wants to cut the school budget!
但他想削减学校的预算！
That's track 1 at 9:45.
1轨道，9点45分开。
He is now satisfied merely to try to stand up, but as soon as he does so a porpoise knocks him flat.
此时的海龟，只要能站起来就满足了，但它刚站起来，就被一只海豚击倒。